A site which shows that the languages generated by phrase structure grammars are recursively enumerable languages. Similarly, it shows that the languages generated by context sensitive grammars are accepted by linear bounded automata.

University of Pennsylvania. Programming languages, type systems, and distributed programming.

Resource-bounded functional language that uses a form of remote procedure call to realize active networking. Part of the SwitchWare Project. Descriptions, documents, downloads, contacts, links.

Managing authenticated transmission of sensitive information over an insecure network.

University of Pennsylvania, Philadelphia. Goal: develop methods, tools, systems to facilitate designing and implementing reliable distributed RT systems. Current projects: developing specification and analysis methods for RT systems, probabilistic mod...

Machine learning approaches to data mining focussing on text mining applications.

Powerpoint presentation on 3D shading languages. Includes coding comparisons and pros/cons of various shading languages.

Department of Computer and Information Science - Philadelphia, Pennsylvania